/**
 * <copyright>
 * </copyright>
 *
 * 
 */
package edu.pku.sei.AMT.resource.amtscript.ui;

public class AmtscriptUIMetaInformation extends edu.pku.sei.AMT.resource.amtscript.mopp.AmtscriptMetaInformation {
	
	public edu.pku.sei.AMT.resource.amtscript.IAmtscriptHoverTextProvider getHoverTextProvider() {
		return new edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptHoverTextProvider();
	}
	
	public edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptImageProvider getImageProvider() {
		return edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptImageProvider.INSTANCE;
	}
	
	public edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptColorManager createColorManager() {
		return new edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptColorManager();
	}
	
	/**
	 * @deprecated this method is only provided to preserve API compatibility. Use
	 * createTokenScanner(edu.pku.sei.AMT.resource.amtscript.IAmtscriptTextResource,
	 * edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptColorManager) instead.
	 */
	public edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptTokenScanner createTokenScanner(edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptColorManager colorManager) {
		return createTokenScanner(null, colorManager);
	}
	
	public edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptTokenScanner createTokenScanner(edu.pku.sei.AMT.resource.amtscript.IAmtscriptTextResource resource, edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptColorManager colorManager) {
		return new edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptTokenScanner(resource, colorManager);
	}
	
	public edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptCodeCompletionHelper createCodeCompletionHelper() {
		return new edu.pku.sei.AMT.resource.amtscript.ui.AmtscriptCodeCompletionHelper();
	}
	
}
